The HIVE Tool for Informed Swarm State Space Exploration
نویسنده
چکیده
Swarm verification and parallel randomised depth-first search are very effective parallel techniques to hunt bugs in large state spaces. In case bugs are absent, however, scalability of the parallelisation is completely lost. In recent work, we proposed a mechanism to inform the workers which parts of the state space to explore. This mechanism is compatible with any action-based formalism, where a state space can be represented by a labelled transition system. With this extension, each worker can be strictly bounded to explore only a small fraction of the state space at a time. In this paper, we present the HIVE tool together with two search algorithms which were added to the LTSMIN tool suite to both perform a preprocessing step, and execute a bounded worker search. The new tool is used to coordinate informed swarm explorations, and the two new LTSMIN algorithms are employed for preprocessing a model and performing the individual searches.
منابع مشابه
NASA's Swarm Missions: The Challenge of Building Autonomous Software
T he days of watching a massive manned cylinder thrust spectacularly off a platform into space might rapidly become ancient history when the National Aeronautics and Space Administration (NASA) introduces its new millenium mission class. Motivated by the need to gather more data than is possible with a single spacecraft, scientists have developed a new class of missions based on the efficiency ...
متن کاملChaotic-based Particle Swarm Optimization with Inertia Weight for Optimization Tasks
Among variety of meta-heuristic population-based search algorithms, particle swarm optimization (PSO) with adaptive inertia weight (AIW) has been considered as a versatile optimization tool, which incorporates the experience of the whole swarm into the movement of particles. Although the exploitation ability of this algorithm is great, it cannot comprehensively explore the search space and may ...
متن کاملReal time Object Tracking Using Evolutionary Computation Approaches: State Space Exploration using Static & Dynamic Particle Like Sensors
A Novel methodology has been proposed in this paper that enabled us to track objects of interest in video sequences at a much higher rates of 25-30 frames per second. This is particularly useful in applications where a real time intervention is of paramount importance for e.g. in safety critical applications and in video surveillance environment. This simplistic but very robust tracking algorit...
متن کاملFuture robotic exploration using honeybee search strategy: Example search for caves on Mars
Autonomous control has an increasing role in Earth and Space based applications. High level autonomy can greatly improve planetary exploration and is, in many cases, essential. It has been suggested during the Mars cave exploration programme, that an effective way to explore a larger surface area would be the use of many, small and fully autonomous robots. However, there are many challenges to ...
متن کاملModeling bee swarming behavior through diffusion adaptation with asymmetric information sharing
Honeybees swarm when they move to a new site for their hive. During the process of swarming, their behavior can be analyzed by classifying them as informed bees or uninformed bees, where the informed bees have some information about the destination while the uninformed bees follow the informed bees. The swarm’s movement can be viewed as a network of mobile nodes with asymmetric information exch...
متن کامل